ocamlyacc -v outputparser.mly
ocamllex outputlexer.mll
ocamlc -a -o ssolver.cma str.cma unix.cma alfp.ml outputparser.mli outputparser.ml outputlexer.ml ssolver.ml
